Spectra Examples
Example specifications and applications
Cinderella
Cinderella fights her wicked stepmother. Report, specification, and simulation Eclipse project.
Junction3
A four-way junction with traffic lights, pedestrians, emergency vehicles, and more. Created by a group of undergraduate students. Part of the SYNTECH19 benchmark. Specification and simulation Eclipse project.
Moving Obstacle Evasion
Robot avoids a moving obstacle on a grid. Report, specification, and simulation Eclipse project.
Towers of Hanoi
A classical mathematical puzzle. Report, specification, and simulation Eclipse project.
Smarthome1
A smarthome system for several rooms, with lights, lock, and alarm. Created by a group of undergraduate students. Part of the SYNTECH20 benchmark. Specification and simulation Eclipse project.
Dining Philosophers
A well-known problem in concurrent design. Report, specification, and simulation Eclipse project.